A Four-Valued Dynamic Epistemic Logic
نویسندگان
چکیده
منابع مشابه
Dynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملProbabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined, and a way to build them for applicati...
متن کاملDynamic Epistemic Logic
In this overview we tell you the story of the rise of dynamic epistemic logic. It is of course a bit presumptious to call it a rise, but we can only observe this rather peculiar phenomenon. The number of active researchers in these logics seem to grow strongly every year, possibly because there are so many relations to computer science, to multi-agent systems, to philosophy, and to cognitive sc...
متن کاملDynamic Epistemic Logic
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is a branch of formal semantics that is concerned with change, and more in particular with change of information. The main idea in dynamic semantics is that the meaning of a syntactic unit—be it a sentence of natural language or a computer program—is best described as t...
متن کاملDynamic Epistemic Spatial Logic ∗
In this paper we combine features of dynamic-epistemic logics with the spatial logics in order to obtain a decidable, fully axiomatized logic for expressing information flow in distributed multi-agent systems. Thus, Dynamic Epistemic Spatial Logic is as an extension of Hennessy-Milner logic with spatial and epistemic operators.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2020
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-020-09313-8